منابع مشابه
Analogy, explanation, and proof
People are habitual explanation generators. At its most mundane, our propensity to explain allows us to infer that we should not drink milk that smells sour; at the other extreme, it allows us to establish facts (e.g., theorems in mathematical logic) whose truth was not even known prior to the existence of the explanation (proof). What do the cognitive operations underlying the inference that t...
متن کاملProof Explanation and Revision
Proof structures in traditional automatic theorem proving systems are generally designed for efficiently supporting certain search strategies. They are not meant as a useful representation or presentation of complete proofs: usually only the experts who designed such systems can read them. As a result, complete proofs are of little value and are generally discarded. The failure of such systems ...
متن کاملBridging principles and examples through analogy and explanation
Previous research in cognitive science has shown that analogical comparison and self-explanation are two powerful learning activities that can improve conceptual learning in laboratory settings. The current work examines whether these results generalize to students learning physics in a classroom setting. Students were randomly assigned to one of three worked example learning conditions (readin...
متن کاملCoordinating principles and examples through analogy and self-explanation
Research on expertise suggests that a critical aspect of expert understanding is knowledge of the relations between domain principles and problem features. We investigated two instructional pathways hypothesized to facilitate students’ learning of these relations when studying worked examples. The first path is through self-explaining how worked examples instantiate domain principles and the se...
متن کاملNeat Explanation of Proof Trees
It is essential that the reasoning of an expert system can be ex- plained and justified. In the paper simple ideas for providing com- prehensive explanations of deductions are presented. The method is to transform the proof tree to a more comprehensive proof tree from which a neat explanation directly can be extracted. The transformation of proof trees is a way to view the problem of explaini...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Frontiers in Human Neuroscience
سال: 2014
ISSN: 1662-5161
DOI: 10.3389/fnhum.2014.00867